AC-3 algorithm

Results: 74



#Item
41Probability and statistics / Estimation theory / Markov models / Bioinformatics / Hidden Markov model / Mixture model / Speech recognition / Expectation–maximization algorithm / Pattern recognition / Statistics / Machine learning / Computational statistics

REVISITING SEMI-CONTINUOUS HIDDEN MARKOV MODELS K. Riedhammer1 , T. Bocklet1 , A. Ghoshal2,3 , D. Povey4 1 Pattern Recognition Lab, University of Erlangen-Nuremberg, G ERMANY 2

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2012-06-12 09:45:08
42Algebraic number theory / Modular arithmetic / Quadratic reciprocity / Quadratic residue / Operator theory / Meijer G-function / Euclidean algorithm / Mathematics / Number theory / Abstract algebra

The Density of Zeros of Forms for which Weak Approximation Fails D.R. Heath-Brown Magdalen College, Oxford Abstract The weak approximation principal fails for the forms x3 + y 3 + z 3 =

Add to Reading List

Source URL: eprints.maths.ox.ac.uk

Language: English - Date: 2009-07-20 09:53:33
43Computer programming / Constraint logic programming / Function / Constraint satisfaction problem / FO / Free variables and bound variables / Sheaf / AC-3 algorithm / Constraint satisfaction / Constraint programming / Software engineering / Mathematics

cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd

Add to Reading List

Source URL: www.schemeworkshop.org

Language: English - Date: 2011-11-05 13:18:14
44Computing / Local consistency / Constraint satisfaction problem / Decomposition method / Constraint satisfaction / Mathematical optimization / Backtracking / Algorithm / AC-3 algorithm / Constraint programming / Software engineering / Computer programming

Constraints[removed]:372–406 DOI[removed]s10601[removed]y New algorithms for max restricted path consistency Thanasis Balafoutis · Anastasia Paparrizou · Kostas Stergiou · Toby Walsh

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2011-11-10 00:37:14
45Science / AgentSpeak / Jason / Belief revision / Logic programming / Algorithm / Programming language / Belief–desire–intention model / Epistemology / Multi-agent systems / Computing / Artificial intelligence

Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2006-04-01 07:44:11
46Science / AgentSpeak / Jason / Belief revision / Logic programming / Algorithm / Programming language / Belief–desire–intention model / Epistemology / Multi-agent systems / Computing / Artificial intelligence

Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-11 12:40:28
47Machine learning / Dimension reduction / Computer vision / Computational linguistics / Data mining / Document classification / K-nearest neighbor algorithm / Feature extraction / Information retrieval / Artificial intelligence / Science / Natural language processing

Introduction to Artificial Intelligence[removed]Spring 2011 Homework Assignment 3: Text Categorization Assignment Goals:

Add to Reading List

Source URL: webcourse.cs.technion.ac.il

Language: English - Date: 2011-06-13 11:49:03
48Java programming language / Object-oriented programming / Protocol / Java syntax / C++ classes / Java collections framework / C / Binary search algorithm / D / Computer programming / Software engineering / Computing

CS126: Design of Information Structures - Java Collections Framework 3 presented by Timothy Heron∗ January 27, 2005

Add to Reading List

Source URL: www.dcs.warwick.ac.uk

Language: English - Date: 2005-01-28 11:22:25
49Digital typography / TeX / Typesetting / Macro programming languages / Desktop publishing software / LaTeX / Hyphenation algorithm / Macro / Shorthand / Software / Application software / Computing

Babel Version 3.9l[removed]Original author Johannes L. Braams

Add to Reading List

Source URL: ftp.leg.uct.ac.za

Language: English - Date: 2014-09-25 11:24:56
50Digital typography / TeX / Typesetting / Macro programming languages / Desktop publishing software / LaTeX / Hyphenation algorithm / Macro / Shorthand / Software / Application software / Computing

Babel Version 3.9l[removed]Original author Johannes L. Braams

Add to Reading List

Source URL: ftp.leg.uct.ac.za

Language: English - Date: 2014-09-25 11:24:56
UPDATE